uncountably infinite cardinality

См. также в других словарях:

• Cardinality of the continuum — In mathematics, the cardinality of the continuum, sometimes also called the power of the continuum, is the size (cardinality) of the set of real numbers mathbb R (sometimes called the continuum). The cardinality of mathbb R is often denoted by… …   Wikipedia

• Infinite set — In set theory, an infinite set is a set that is not a finite set. Infinite sets may be countable or uncountable. Some examples are: * the set of all integers, {..., 1, 0, 1, 2, ...}, is a countably infinite set; and * the set of all real numbers… …   Wikipedia

• metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… …   Universalium

• Cantor's theorem — Note: in order to fully understand this article you may want to refer to the set theory portion of the table of mathematical symbols. In elementary set theory, Cantor s theorem states that, for any set A , the set of all subsets of A (the power… …   Wikipedia

• Morley's categoricity theorem — Vaught s test redirects here. Not to be confused with the Tarski–Vaught test. Categorical theory redirects here. Not to be confused with Category Theory. In model theory, a branch of mathematical logic, a theory is κ categorical (or categorical… …   Wikipedia

• Real number — For the real numbers used in descriptive set theory, see Baire space (set theory). For the computing datatype, see Floating point number. A symbol of the set of real numbers …   Wikipedia

• Examples of vector spaces — This page lists some examples of vector spaces. See vector space for the definitions of terms used on this page. See also: dimension, basis. Notation . We will let F denote an arbitrary field such as the real numbers R or the complex numbers C.… …   Wikipedia

• Number — For other uses, see Numbers (disambiguation). A number is a mathematical object used to count and measure. In mathematics, the definition of number has been extended over the years to include such numbers as zero, negative numbers, rational… …   Wikipedia

• Kalam cosmological argument — The Kalām cosmological argument is a contemporary version of the cosmological argument taking its form from Kalām, a form of dialectical argument used in Islamic philosophy.Fact|date=February 2008. It attempts to prove the existence of God by… …   Wikipedia

• Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… …   Wikipedia

• Power set — In mathematics, given a set S , the power set (or powerset) of S , written mathcal{P}(S), P ( S ), or 2 S , is the set of all subsets of S . In axiomatic set theory (as developed e.g. in the ZFC axioms), the existence of the power set of any set… …   Wikipedia